1. A dicipline of programming
پدیدآورنده : Dijkstra , Edsger Wybe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic digital computers - programming
رده :
QA
76
.
6
.
D54
1979
2. A discipline of Programming
پدیدآورنده : / Edsger W. Dijksrtra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D575
3. A discipline of programming
پدیدآورنده : /Edsger W. Dijkstra.
موضوع : برنامه‌نویسی
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
4. A discipline of programming /
پدیدآورنده : Edsger W. Dijkstra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming
رده :
QA76
.
6
.
D54
5. A discipline of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D54
6. <A> method of Programming
پدیدآورنده : Edsger W. Dijkstra, W. H. J. Feijen
موضوع : Electronic digital computers- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Computer programming
رده :
QA
76
.
6
.
D5513
1989
8. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D5513
1988
9. A method of programming, Mehtode van programming. English
پدیدآورنده : Dijkstra, Edsger Wybe, Edssger W. Dijkstra, W.H.J. Feijen
موضوع : ، Electronic digital computers - programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
11. Beauty is our business : a birthday salute to Edsger W. Dijkstra
پدیدآورنده : W.H.J. Feijen.--]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Dijkstra, Edsgar Wybe
رده :
QA
76
.
B326
1990
12. Beginning Ada Programming
پدیدآورنده : Andrew T. Shvets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Computer program language)
رده :
QA76
.
73
.
A35
13. Beyond calculation :
پدیدآورنده : Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,prospective informatique.,révolution informatique.,technologie informatique.
رده :
QA76
.
D348
1997
14. Formal Development of Programs and Proofs
پدیدآورنده : Edited By Edsger W. Dijkstra
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
15. Formal development of programs and proofs
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming- Congresses
16. Methode van programmeren. English,A method of programming
پدیدآورنده : Edsger W. dijkstra, W. H. Feijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
17. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G37
1990
18. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
19. Selected writings on computing :
پدیدآورنده : Edsger W Dijkstra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
24
E374
2011
20. Selected writings on computing : a personal perspective
پدیدآورنده : / Edsger W. Dijkstra
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic data processing - Addresses, essays, lectures,Computers - Addresses, essays lectures,Programming (Electronic computers) - Addresses, essays, lectures
رده :
QA76
.
24
.
D54
1982
